﻿/*
异常
	异常的概念及使用
		1.异常处理机制允许程序中独立开发的部分能够在运行时就出现的问题进行通信并做出相应的处理，
		  异常使得我们能够将问题的检测与解决问题的过程分开，程序的一部分负责检测问题的出现，然后
		  解决问题的任务传递给程序的另一部分，检测环节无须知道问题的处理模块的所有细节。

		2.C语言主要通过错误码的形式处理错误，错误码本质就是对错误信息进行分类编号，拿到错误码以
		  还要去查询错误信息，较麻烦。异常时抛出一个对象，这个对象可以函数更全面的各种信息。

		  
	
异常的抛出和捕获
	1.程序出现问题时，我们通过抛出(throw)一个对象来引发一个异常，该对象的类型以及当前的调用
	  链决定了应该由哪个catch的处理代码来处理该异常。      
	  throw  是任意类型
	2.被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。根据抛出对象的
	  类型和内容，程序的抛出异常部分告知异常处理部分到底发生了什么错误。
	3.当throw执行时，throw后面的语句将不再被执行。程序的执行从throw位置跳到与之匹配的catch
	  模块，catch可能是同一函数中的一个局部的catch，也可能是调用链中另一个函数中的catch，控
	  制权从throw位置转移到了catch位置。
	  这里还有两个重要的含义：1、沿着调用链的函数可能提早退出。
							  2、一旦程序开始执行异常处理程序，沿着调用链创建的对象都将销毁。
	4.抛出异常对象后，会生成一个异常对象的拷⻉，因为抛出的异常对象可能是一个局部对象，所以会
	  生成一个拷贝对象，这个拷贝的对象会在catch子句后销毁。（这里的处理类似于函数的传值返回） 



栈展开
	1.抛出异常后，程序暂停当前函数的执行，开始寻找与之匹配的catch子句，首先检查throw本身是否
	  在try块内部，如果在则查找匹配的catch语句，如果有匹配的，则跳到catch的地方进行处理。
	2.如果当前函数中没有try/catch子句，或者有try/catch子句但是类型不匹配，则退出当前函数，继续
	  在外层调用函数链中查找，上述查找的catch过程被称为栈展开。
	3.如果到达main函数，依旧没有找到匹配的catch子句，程序会调用标准库的 terminate 函数终止程序。
	4.如果找到匹配的catch子句处理后，catch子句代码会继续执行。

	*  也就是说如果都不匹配  有异常就会终止程序   *
	


查找匹配的处理代码
	1.一般情况下抛出对象和catch是类型完全匹配的，如果有多个类型匹配的，就选择离他位置更近的那个。
	2.但是也有一些例外，允许从非常量向常量的类型转换(权限缩⼩)；允许数组转换成指向数组元素类型的指针，函数
	  被转换成指向函数的指针；允许从(派生类)向(基类类型)的转换，这个点非常实用，实际中继承体系基本都是用这
	  个方式设计的。
	3.如果到main函数，异常仍旧没有被匹配就会终止程序，不是发生严重错误的情况下，我们是不期望
	  程序终止的，所以一般main函数中最后都会使用catch(...)，它可以捕获任意类型的异常，但是
	  不知道异常错误是什么。

原理：设计一个类：Exception(一般都取名)      包含 错误编号 和 错误信息描述
	  然后捕获异常只捕获 Exception 和 未知异常  这两个

要求：要么抛Exception      要么抛Exception的派生类     （继承的一个运用）
	  抛完之后   进行捕捉   

catch(const Exception& e) {  }      这里捕获基类，基类对象和派生类对象都可以被捕获      
原则：无论抛出哪个异常都需要变成 Exception  的派生类



异常重新抛出
	有时catch到一个异常对象，需要对错误进行分类。其中的某种异常错误需要进行特殊的处理，其他错误则重新抛出异常给外层调用链处理。
	捕获异常后需要重新抛出，直接throw；就可以把捕获的对象直接抛出



异常安全问题（java  具有垃圾回收器   gc              C++  智能指针）
	1.异常抛出后，后面的代码就不再执行，前面申请了资源(内存、锁等)，后面进行释放，但是中间可
	  能会抛异常就会导致资源没有释放，这里由于异常就引发了资源泄漏，产生安全性的问题。中间我
	  们需要捕获异常，释放资源后面再重新抛出，当然后面智能指针章节讲的RAII方式解决这种问题是
	  更好的。
	2.其次析构函数中，如果抛出异常也要谨慎处理，比如析构函数要释放10个资源，释放到第5个时抛
	  出异常，则也需要捕获处理，否则后面的5个资源就没释放，也资源泄漏了。《Effctive C++》第8
	  个条款讲了这个问题，别让异常逃离析构函数。



异常规范
	1.对于用户和编译器而言，预先知道某个程序会不会抛出异常大有裨益，知道某个函数是否会抛出异
	  常有助于简化调用函数的代码。
	2.C++98中函数参数列表的后面接 throw()，表示函数不抛异常，函数参数列表的后面接throw(类型1,类型2...)
	  表示可能会抛出多种类型的异常，可能会抛出的类型用逗号分割。
	3.C++98的方式过于复杂，实践中并不好用，C++11中进行了简化，函数参数列表后面加noexcept表示
	  不会抛出异常，啥都不加表示可能会抛出异常。
	4.编译器并不会在编译时检查noexcept，也就是说如果一个函数用 noexcept修饰了，但是同时又包
	  含了throw语句或者调用的函数可能会抛出异常，编译器还是会顺利编译通过的(有些编译器可能会
	  报个警告)。但是一个声明了noexcept的函数抛出了异常，程序会调用 terminate 终值程序。
	5.noexcept(expression) 还可以作为一个运算符去检测一个表达式是否会抛出异常，可能会则返回
	  false，不会就返回true。


bad_alloc    operator  new失败以后抛的异常

*/